projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7998ad) | patch
xen: credit: change an ASSERT on nr_runnable so that it makes sense.
authorDario Faggioli <dario.faggioli@citrix.com>
Thu, 13 Apr 2017 07:49:54 +0000 (09:49 +0200)
committerGeorge Dunlap <george.dunlap@citrix.com>
Thu, 13 Apr 2017 14:10:54 +0000 (15:10 +0100)
commit341569f1d18df00bda6625a77c2b106cee382562
treea53a52edb3159e7927ce923239176804a53db8a1tree | snapshot
parente7998ad2f2ea96465ea481b8a023c90b41b59ca1commit | diff
xen: credit: change an ASSERT on nr_runnable so that it makes sense.

Since the counter is unsigned, it's pointless/bogous to check
for if to be above zero.

Check that it is at least one before it's decremented, instead.

Spotted by Coverity.

Reported-by: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Dario Faggioli <dario.faggioli@citrix.com>
Reviewed-by: George Dunlap <george.dunlap@citrix.com>
Release-acked-by: Julien Grall <julien.grall@arm.com>
xen/common/sched_credit.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.